Vers une sémiologie de l’opéra. Systèmes – structures – interférences sémiologiques

Espace de Services : Vers une formalisation des Systèmes d'Information Pervasifs

Pervasive Information Systems (PIS) represent the next generation of Information Systems (IS). They differ from both traditional IS and pervasive systems: from the former by the heterogeneity of the pervasive environment to which they belong, and from the latter, by the fact that they must integrate an organization and its strategies. In this paper, we propose a conceptual framework, called ser...

Vers une nouvelle génération de systèmes de test et de simulation avionique dynamiquement reconfigurables

Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles

RÉSUMÉ. Les systèmes d’agents mobiles sont de grande complexité, notamment du fait de leur nature hautement dynamique. Au delà des expérimentations « pratiques », de nombreux travaux s’intéressent à la caractérisation plus fondamentale de ces systèmes. Mais la plupart des approches négligent certains aspects selon nous fondamentaux comme la sémantique de communication. Elles sont de plus généra...

Sécurité des systèmes critiques et cybercriminalité : vers une sécurité globale ?

Cet article se propose de mettre en perspective pour les systèmes informatiques dits « critiques » les problématiques de résistance à la cybercriminalité (dont l'origine est donc une action humaine avec intention de nuire), et de faculté à éviter des comportements catastrophiques suite à des événements d'autre origine, pouvant être des défaillances internes des composants matériels, des perturb...

Vers une programmation des systèmes interactifs centrée sur la spécification de modèles exécutables

class Element { } class Edge extends Element { opt start :: Node.outgoing opt end :: Node.incoming } class Node extends Element { one label one x one y set outgoing :: Edge.start set incoming :: Edge.end } Les contenants de type set, opt et one sont utilisés pour représenter les propriétés (attributs et relations) modi ables des classes Graph, Node et E...